Software engineering - PDFSEARCH.IO - Document Search Engine

Software engineering
Results: 57508

#	Item
551	From ML to program proof or: The continuation of functional programming by other means Xavier Leroy INRIA Paris-Rocquencourt Milner symposium, Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:03 Software engineering Programming language theory Type theory Computing ML Type inference Polymorphism Type system Type class HindleyMilner type system Ad hoc polymorphism OCaml
552	¨ BOCHUM RUHR-UNIVERSITAT Horst G¨ortz Institute for IT Security Technical Report TR-HGI Add to Reading List Source URL: www.ei.rub.de Language: English - Date: 2014-12-17 10:12:31 Computing Software engineering Computer architecture Method Data types X86 architecture Assembly languages Virtual method table Subroutines X86 assembly language Low-level programming language Dangling pointer
553	Microsoft PowerPoint - Lect02Scheme.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-12 12:47:00 Software engineering Programming language theory Lambda calculus Computer programming Scheme Structure and Interpretation of Computer Programs Anonymous function Square root Nth root
554	BIDS AND AWARDS COMMITTEE ABSTRACT OF BIDS AS READ May 13, 2015 at 10:00 a.m. held at BAC Office, Provincial Capitol Complex, Calapan City Opened on: Project: Add to Reading List Source URL: www.ormindoro.gov.ph Language: English - Date: 2016-01-04 00:29:33 Software engineering Computing Computer programming Building engineering Insurance Sureties Surety bond PHP
555	Harvard Journal of Law & Technology Volume 29, Number 1 Fall 2015 PREDATORY INNOVATION IN SOFTWARE MARKETS Suzanne Van Arsdale & Cody Venzke∗ Add to Reading List Source URL: jolt.law.harvard.edu Language: English - Date: 2016-04-13 13:49:19 Software Technological change Computing Technology Business models Monopoly Interoperability Product testing Telecommunications engineering Open standard Network effect Tying
556	Name ______________________________________ Find the States Write down the capital of each state, and then find the capital in the puzzle. B G Add to Reading List Source URL: www.qualint.com Language: English - Date: 2004-12-24 19:26:25 Obfuscation Computer programming Software engineering Index of Abkhazia-related articles Toledo Nanochess
557	All You Ever Wanted to Know About Dynamic Taint Analysis & Forward Symbolic Execution Add to Reading List Source URL: oakland31.cs.virginia.edu Language: English - Date: 2010-05-19 11:16:51 Carnegie Mellon University Concolic testing Taint checking Mellon Symbolic execution Software engineering
558	Ambient References: Addressing Objects in Mobile Networks Tom Van Cutsem∗ Jessie Dedecker∗ Stijn Mostinckx† Elisa Gonzalez Theo D’Hondt Wolfgang De Meuter Programming Technology Lab Vrije Universiteit Brussel – Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2006-03-31 08:08:22 Computing Software engineering Computer programming Distributed computing architecture Ambient intelligence Ambient calculus AmbientTalk Actor model Message passing Distributed object Text messaging
559	Adaptive MPI:  Overview & Recent Work Sam White PPL, UIUC Motivation Add to Reading List Source URL: charm.cs.illinois.edu Language: English - Date: 2016-04-20 17:46:21 Computing Computer programming Parallel computing Software engineering Application programming interfaces Charm++ Message Passing Interface OpenMP Thread C dynamic memory allocation
560	Griffin: Towards an Agile, Predictive Infrastructure Anthony D. Joseph Sahara Retreat June 10, 2002 Add to Reading List Source URL: sahara.cs.berkeley.edu Language: English - Date: 2002-07-07 21:09:22 Network architecture Computing Computer architecture Distributed computing architecture Software architecture Software engineering Architectural pattern Multitier architecture World Wide Web Clientserver model Overlay network

UPDATE